Playing in the Grey Area of Proofs Kryˇstof Hoder Laura Kov´acs Andrei Voronkov

Source URL: www.cse.chalmers.se

Bound Propagation for Arithmetic Reasoning in Vampire Ioan Dragan∗ , Konstantin Korovin † , Laura Kov´acs ‡ , Andrei Voronkov † ∗ Vienna University of Technology

Source URL: www.cse.chalmers.se

• Operations research
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability Modulo Theories
• Linear programming
• Local consistency
• Theoretical computer science
• Applied mathematics
• Mathematics